Pour \(n\geqslant0\), on considère $$a_n=\int^{\pi/4}_0\tan^nx\,dx$$ une suite décroissante et convergente vers \(0\)
Sachant que $$a_n+a_{n+2}=\frac1{n+1}\quad\text{ et }\quad\frac1{n+1}\leqslant2a_n\leqslant\frac1{n-1}$$ déterminer le rayon de convergence de la série \(\sum^{+\infty}_{n=0}a_nx^n\) et l'exprimer à l'aide de fonctions usuelles
Encadrer via l'inégalité \(\to\) d'Alembert $$1\underset{n\to+\infty}\longleftarrow1-\frac3{n+2}=\frac{\frac1{n+2}}{\frac1{n+1}}\leqslant\frac{a_{n+1}}{a_n}=\frac{2a_{n+1}}{2a_n}\leqslant\frac{n+1}n{\underset{n\to+\infty}\longrightarrow}1$$
Transformer l'encadrement en série D'après la relation, on a : $$\sum^{+\infty}_{n=0} a_nx^n+\sum^{+\infty}_{n=0} a_{n+2}x^n=\sum^{+\infty}_{n=0}\frac1{n+1}x^n$$
Exprimer la série qui ne dépend pas de \(a_n\) On a : $$\sum^{+\infty}_{n=0}\frac1{n+1}x^n=\frac{\ln(1+x)}x$$
Exprimer la série avec \(a_{n+2}\) en fonction de \(S_n\) $$\sum^{+\infty}_{n=0} a_{n+2}x^n=\sum^{+\infty}_{n=2}a_nx^{n-2}=\frac1{x^2}\sum^{+\infty}_{n=2}a_nx^n=\frac1{x^2}\left( S(x)-a_0-a_1\right)$$ avec \(a_0=\frac\pi4\) et \(a_1=\ln\sqrt2=\frac{\ln2}2\)
Résoudre l'équation
Et donc : $$S(x)+\frac1{x^2}\left( S(x)-\frac\pi4-\frac{\ln2}2x\right)=\frac{-\ln(1-x)}{x}\implies S(x)=\frac{\pi+2x\ln2-4x\ln(1-x)}{4(1+x^2)}$$